Towards a scheduling and timing analysis solution for integrated modular avionic systems

Timing analysis is a collection of mathematically based techniques that enable a system, together with its software, to be analysed off-line without the need for system execution. The result of applying the analysis, is a set of guarantees regarding the worst-case behaviour of the system – under normal system operation, these worst-case guarantees will be met at run-time. The guarantees include the worst-case execution times of software, worst-case communications latencies and worst-case resource usage, eg. memory. These calculated guarantees can be compared with the timing and resource usage requirements of the system to see if they will be met at run-time.